Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Python Fundamentals: case
dev.to·11h·
Discuss: DEV
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·10h·
Discuss: Hacker News
🤝Distributed Consensus
Browsers battle over PDF capabilities
pdfa.org·3h
📋Document Standards
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·9h
🔀CRDT
Data Lakehouse Security: Supporting Scalable Analytics and AI Workloads
blog.min.io·1h
📦METS Containers
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·6h·
Discuss: Hacker News
💎Information Crystallography
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·9h
🔐Quantum Security
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·16h
🔄Reproducible Builds
Cambridge contributor session and Archives fair
blog.archiveshub.jisc.ac.uk·1d
🕸️WARC Archives
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·20h
📏Linear Logic
Logical implication is a comparison operator
btdmaster.bearblog.dev·5h·
Discuss: Hacker News
🔲Proof Irrelevance
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·13h
🦀Rust Macros
Courts Favor Targeted eDiscovery Collections, but It Is Up to In-House Teams to Enable Such Cost Saving Proportional Efforts
blog.x1discovery.com·2d
⚖️Legal Compliance
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
We've got to stop sending files to each other
shkspr.mobi·12h·
Discuss: Lobsters, Hacker News, shkspr.mobi
🏠Personal Archives
Issue 481
haskellweekly.news·12h
🔗Functional Compilers
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·17h
🔍RegEx Engines
Almost Always Auto (2013)
herbsutter.com·14h·
Discuss: Hacker News
🔒Type Safety